On examples of difference operators for {0,1}\{0,1\}-valued functions over finite sets

Recently V.I.Arnold have formulated a geometrical concept of monads and apply it to the study of difference operators on the sets of $\{0,1\}$-valued sequences of length $n$. In the present note we show particular examples of these monads and indicate one question arising here

Lie Groups and mechanics: an introduction

The aim of this paper is to present aspects of the use of Lie groups in mechanics. We start with the motion of the rigid body for which the main concepts are extracted. In a second part, we extend the theory for an arbitrary Lie group and in a third section we apply these methods for the diffeomorphism group of the circle with two particular examples: the Burger equation and the Camassa-Holm equation

Active Integrity Constraints and Revision Programming

We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to enforce them. Unlike other more commonly accepted approaches, these two formalisms attempt to provide a declarative solution to the problem. However, the original semantics of founded repairs for active integrity constraints and justified revisions for revision programs differ. Our main goal is to establish a comprehensive framework of semantics for active integrity constraints, to find a parallel framework for revision programs, and to relate the two. By doing so, we demonstrate that the two formalisms proposed independently of each other and based on different intuitions when viewed within a broader semantic framework turn out to be notational variants of each other. That lends support to the adequacy of the semantics we develop for each of the formalisms as the foundation for a declarative approach to the problem of database update and repair. In the paper we also study computational properties of the semantics we consider and establish results concerned with the concept of the minimality of change and the invariance under the shifting transformation.Comment: 48 pages, 3 figure

Probing the correlations in composite signals

The technique of degree of randomness is used to model the correlations in sequences containing various subsignals and noise. Kolmogorov stochasticity parameter enables to quantify the randomness in number sequences and hence appears as an efficient tool to distinguish the signals. Numerical experiments for a broad class of composite signals of regular and random properties enable to obtain the qualitative and quantitative criteria for the behavior of the descriptor depending on the input parameters typical to astrophysical signals.Comment: Eur.Phys.J. to appear, 6 pages, 6 figure

Geometry of Maslov cycles

We introduce the notion of induced Maslov cycle, which describes and unifies geometrical and topological invariants of many apparently unrelated situations, from real algebraic geometry to sub-Riemannian geometry

On polynomially integrable domains in Euclidean spaces

Let $D$ be a bounded domain in $\mathbb R^n,$ with smooth boundary. Denote $V_D(\omega,t), \ \omega \in S^{n-1}, t \in \mathbb R,$ the Radon transform of the characteristic function $\chi_{D}$ of the domain $D,$ i.e., the $(n-1)-$ dimensional volume of the intersection $D$ with the hyperplane $\{x \in \mathbb R^n: =t \}.$ If the domain $D$ is an ellipsoid, then the function $V_D$ is algebraic and if, in addition, the dimension $n$ is odd, then $V(\omega,t)$ is a polynomial with respect to $t.$ Whether odd-dimensional ellipsoids are the only bounded smooth domains with such a property? The article is devoted to partial verification and discussion of this question

Nonholonomic systems with symmetry allowing a conformally symplectic reduction

Non-holonomic mechanical systems can be described by a degenerate almost-Poisson structure (dropping the Jacobi identity) in the constrained space. If enough symmetries transversal to the constraints are present, the system reduces to a nondegenerate almost-Poisson structure on a ``compressed'' space. Here we show, in the simplest non-holonomic systems, that in favorable circumnstances the compressed system is conformally symplectic, although the ``non-compressed'' constrained system never admits a Jacobi structure (in the sense of Marle et al.).Comment: 8 pages. A slight edition of the version to appear in Proceedings of HAMSYS 200

Exact properties of Frobenius numbers and fraction of the symmetric semigroups in the weak limit for n=3

We generalize and prove a hypothesis by V. Arnold on the parity of Frobenius number. For the case of symmetric semigroups with three generators of Frobenius numbers we found an exact formula, which in a sense is the sum of two Sylvester's formulaes. We prove that the fraction of the symmetric semigroups is vanishing in the weak limit

Geodesic Warps by Conformal Mappings

In recent years there has been considerable interest in methods for diffeomorphic warping of images, with applications e.g.\ in medical imaging and evolutionary biology. The original work generally cited is that of the evolutionary biologist D'Arcy Wentworth Thompson, who demonstrated warps to deform images of one species into another. However, unlike the deformations in modern methods, which are drawn from the full set of diffeomorphism, he deliberately chose lower-dimensional sets of transformations, such as planar conformal mappings. In this paper we study warps of such conformal mappings. The approach is to equip the infinite dimensional manifold of conformal embeddings with a Riemannian metric, and then use the corresponding geodesic equation in order to obtain diffeomorphic warps. After deriving the geodesic equation, a numerical discretisation method is developed. Several examples of geodesic warps are then given. We also show that the equation admits totally geodesic solutions corresponding to scaling and translation, but not to affine transformations

On Ilyashenko's Statistical Attractors

We define a minimal alpha-observability of Ilyashenko's statistical attractors. We prove that the space is always full Lebesgue decomposable into pairwise disjoint sets that are Lebesgue-bounded away from zero and included in the basins of a finite family of minimal alpha-observable statistical attractors. Among other examples, we analyze the Bowen homeomorphisms with non robust topological heteroclinic cycles. We prove the existence of three types of statistical behaviours for these examples.Comment: This version has changes suggested by the anonymous referee. Accepted for publication in "Dynamical Systems - An International Journal". The final version will appear in http://www.tandfonline.com/toc/cdss20/current#.UikiPX96-M